المجموعات؛ العلاقات و اللغات؛ الاتومات التلقائية المحددة و غير المحددة؛ الانغلاق و نظرية الضخ؛ اللغات والمصطلحات المنتظمة؛ قواعد النصوص الحرة: اللغات المنتظمة واللغات ذات النصوص الحرة؛ الاتوماتا ذات المكدسات، الانغلاق، التحقق، قواعد (LL1) ؛ ماكنة تورنج جمع ماكنات تورنج و نموذج الماكنة، أمثلة، مقدمة للمسائل من نوع P وNP .